This paper studies long-term norms concerning actions. In Meyer's Propositional Deontic Logic (PDₑL), only immediate duties can be expressed, however, often one has duties of longer durations such as: "Never do that", or "Do this someday". In this paper, we will investigate how to amend (PDₑL) so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not interdefinable in our semantics, while there is a duality between these (...) two notions. As a consequence, we have provided a new analysis of the long-term obligation by introducing a new atomic proposition I (indebtedness) to represent the condition that an agent has some unfulfilled obligation. (shrink)

In this paper we discuss the social and ethical issues that arise as a result of digitization based on six dominant technologies: Internet of Things, robotics, biometrics, persuasive technology, virtual & augmented reality, and digital platforms. We highlight the many developments in the digitizing society that appear to be at odds with six recurring themes revealing from our analysis of the scientific literature on the dominant technologies: privacy, autonomy, security, human dignity, justice, and balance of power. This study shows that (...) the new wave of digitization is putting pressure on these public values. In order to effectively shape the digital society in a socially and ethically responsible way, stakeholders need to have a clear understanding of what such issues might be. Supervision has been developed the most in the areas of privacy and data protection. For other ethical issues concerning digitization such as discrimination, autonomy, human dignity and unequal balance of power, the supervision is not as well organized. (shrink)

I survey four categories of factors that might give a digital mind, such as an upload or an artificial general intelligence, an advantage over humans. Hardware advantages include greater serial speeds and greater parallel speeds. Self-improvement advantages include improvement of algorithms, design of new mental modules, and modification of motivational system. Co-operative advantages include copyability, perfect co-operation, improved communication, and transfer of skills. Human handicaps include computational limitations and faulty heuristics, human-centric biases, and socially motivated cognition. The shape of hardware (...) growth curves, as well as the ease of modifying minds, are found to have a major impact on how quickly a digital mind may take advantage of these factors. (shrink)

Most unmanned systems used in operations today are unarmed and mainly used for reconnaissance and mine clearing, yet the increase of the number of armed military robots is undeniable. The use of these robots raises some serious ethical questions. For instance: who can be held morally responsible in reason when a military robot is involved in an act of violence that would normally be described as a war crime? In this article, we critically assess the attribution of responsibility with respect (...) to the deployment of both non-autonomous and non-learning autonomous lethal military robots. We will start by looking at the role of those with whom responsibility normally lies, the commanders. We argue that this is no different in the case of the above mentioned robots. After that, we will turn to those at the beginning and the end of the causal chain, respectively the manufacturers and designers, and the human operators who remotely control armed military robots from behind a computer screen. (shrink)

We present a hypothetical process of mind coalescence, where arti cial connections are created between two or more brains. This might simply allow for an improved form of communication. At the other extreme, it might merge the minds into one in a process that can be thought of as a reverse split-brain operation. We propose that one way mind coalescence might happen is via an exocortex, a prosthetic extension of the biological brain which integrates with the brain as seamlessly as (...) parts of the biological brain integrate with each other. An exocortex may also prove to be the easiest route for mind uploading, as a person's personality gradually moves away from the aging biological brain and onto the exocortex. Memories might also be copied and shared even without minds being permanently merged. Over time, the borders of personal identity may become loose or even unnecessary. (shrink)

Developers and designers make all sorts of moral decisions throughout an innovation project. In this article, we describe how teams of developers and designers engaged with ethics in the early phases of innovation based on case studies in the SUBCOP project. For that purpose, Value Sensitive Design will be used as a reference. Specifically, we focus on the following two research questions: How can researchers/developers learn about users’ perspectives and values during the innovation process? and How can researchers/developers take into (...) account these values, and related design criteria, in their decision-making during the innovation process? Based on a case study of several innovation processes in this project, we conclude the researchers/developers involved are able to do something similar to VSD, supported by relatively simple exercises in the project, e.g., meetings with potential end-users and discussions with members of the Ethical Advisory Board of the project. Furthermore, we also found—possibly somewhat counterintuitively—that a commercial, with its focus on understanding and satisfying customers’ needs, can promote VSD. (shrink)

Aim of the present paper is to provide a formal characterization of various different notions of responsibility within groups of agents (Who did that? Who gets the blame? Who is accountable for that? etc.). To pursue this aim, the papers proposes an organic analysis of organized collective agency by tackling the issues of organizational structure, role enactment, organizational activities, task-division and task-allocation. The result consists in a semantic framework based on dynamic logic in which all these concepts can be represented (...) and in which various notions of responsibility find a formalization. The background motivation of the work consists in those responsibility-related issues which are of particular interest for the theory and development of multi-agent systems. (shrink)

One way to allocate tasks to agents is by ascribing them obligations. From obligations to be, agents are able to infer what are the forbidden, permitted and obligatory actions they may perform, by using the well-known Meyer’s reduction from obligations to be to obligations to do. However, we show through an example that this method is not completely adequate to guide agents’ decisions. We then propose a solution using, instead of obligations, the concept of ‘responsibility’. To formalise responsibility we use (...) a multiagent extension of propositional dynamic logic as framework, and then we define some basic concepts, such as ‘agent ability’, also briefly discussing the problem of uniform strategies and a possible solution. In the last part, we show that our framework can be used in the specification of normative multiagent systems, by presenting an extensive running example. (shrink)

In this paper, we develop a formalisation of the main ideas of the work of Van de Poel on responsibility. Using the basic concepts through which the meanings of responsibility are defined, we construct a logic which enables to express sentences like “individual i is accountable for φ”, “individual i is blameworthy for φ” and “individual i has the obligation to see to it that φ”. This formalization clarifies the definitions of responsibility given by Van de Poel and highlights their (...) differences and similarities. It also helps to assess the consistency of the formalisation of responsibility, not only by showing that definitions are not inconsistent, but also by providing a formal demonstration of the relation between three main meanings of responsibility. The formal account can be used to derive new properties of the concepts. With the help of the formalisation, we detect the occurrence of the problem of many hands by defining a logical framework for reasoning about collective and individual responsibility. This logic extends the Coalition Epistemic Dynamic Logic by adding a notion of group knowledge, agent ability and knowing how to its semantics. (shrink)

Organizations can be seen as a collection of interacting agents to achieve a certain task: a collective task. Since such a task is beyond the capacity of an individual agent, the agents have to communicate, cooperate, coordinate, and negotiate with each other, to achieve the collective task. In distributed artificial intelligence (DAI) theories of organizations, it is emphasized that ‘commitment’ is a crucial notion to analyze a collective activity or the structure of an organization. In this paper, we analyze the (...) notion of commitment to gain more insight in the social interactions between the agents in an organization. Many social interactions between agents demand the use of commitments to reach socially efficient or avoid socially inefficient outcomes. Commitments express the desires, goals, or intentions of the agents in an interaction. Using a game-theoretic model, we will show that, depending on the incentive structure, different interactions require different types of commitments to reach socially efficient outcomes. Based on these results, we discuss whether existing (or slightly adapted) logical formalizations are adequate for the description of certain types of commitments and which formalization is suitable for reaching a socially efficient outcome in a specific interaction. (shrink)

Web mining refers to the whole of data miningand related techniques that are used toautomatically discover and extract informationfrom web documents and services. When used in abusiness context and applied to some type ofpersonal data, it helps companies to builddetailed customer profiles, and gain marketingintelligence. Web mining does, however, pose athreat to some important ethical values likeprivacy and individuality. Web mining makes itdifficult for an individual to autonomouslycontrol the unveiling and dissemination of dataabout his/her private life. To study thesethreats, we (...) distinguish between `content andstructure mining' and `usage mining.' Webcontent and structure mining is a cause forconcern when data published on the web in acertain context is mined and combined withother data for use in a totally differentcontext. Web usage mining raises privacyconcerns when web users are traced, and theiractions are analysed without their knowledge.Furthermore, both types of web mining are oftenused to create customer files with a strongtendency of judging and treating people on thebasis of group characteristics instead of ontheir own individual characteristics and merits(referred to as de-individualisation). Althoughthere are a variety of solutions toprivacy-problems, none of these solutionsoffers sufficient protection. Only a combinedsolution package consisting of solutions at anindividual as well as a collective level cancontribute to release some of the tensionbetween the advantages and the disadvantages ofweb mining. The values of privacy andindividuality should be respected and protectedto make sure that people are judged and treatedfairly. People should be aware of theseriousness of the dangers and continuouslydiscuss these ethical issues. This should be ajoint responsibility shared by web miners (bothadopters and developers), web users, andgovernments. (shrink)

A class of probability functions is studied. This class contains the probability functions of half-spin particles and spinning classical objects. A notion of realisability for these functions is defined. In terms of this notion two versions of Bell's theorem and their inverses are stated and proved.

I formulate the Zermelo-Russell paradox for naive set theory. A sketch is given of Zermelo’s solution to the paradox: the cumulative type structure. A careful analysis of the set formation process shows a missing component in this solution: the necessity of an assumed imaginary jump out of an infinite universe. Thus a set is formed by a suitable combination of concrete and imaginary operations all of which can be made or assumed by a Turing machine. Some consequences are drawn from (...) this improved analysis of the concept of set, for the theory of sets and for the philosophy and foundations of mathematics. (shrink)

This essay is a critical analysis of some themes in Wittgenstein’s later philosophy. It is not primarily Wittgenstein-exegesis. Much more modestly, my purpose is to express my own thoughts about some questions which Wittgenstein has treated in his writings. It is the second in a series of two articles. The first article, “Remarks on Wittgenstein’s Philosophy: Private Language and Meaning", was published in Volume 42, 2007, of the present YEARBOOK. Section 1, “Philosophical Method”. Wittgenstein’s conception of philosophy as language therapy (...) is criticised. Instead philosophy is construed as foundational research. Wittgenstein’s statement that mathematical logic cannot contribute to progress in philosophy is repudiated. Several examples of ideas and results in mathematical logic which have led to the solution of philosophical problems are given. Section 2, “Contradictions: The Wittgenstein- Turing Debate”. In lectures on the foundations of mathematics given in 1939, Wittgenstein claimed that contradictions in mathematical theories are harmless. A debate ensued on this question between him and Alan Turing. In support of Turing's standpoint, I use the theorem on Taylor series, Church's Theorem, and Gentzen’s Cut-Elimination Theorem to show that Wittgenstein’s standpoint is untenable. For orientation, I also include here the abstract for the first article in the series, “Remarks on Wittgenstein’s Philosophy: Private Language and Meaning”. Section 1, “The Private Language Argument”. An independent argument is given for Wittgenstein’s thesis that there is no private language. I show that psychological terms in ordinary language, in contrast to an implication of Wittgenstein’s own private language argument, in their meanings do contain references to inner states, processes, and events. Section 2, “Meaning”. Wittgenstein’s definition of meaning as use in the language is criticised. Meaning is instead identified with something in the content of a conscious mind. Applications are given to some suggestions in the philosophy of language by Chomsky, Harman and Fodor, Grice, and Kripke. (shrink)

This essay is a critical analysis of some themes in Wittgenstein’s later philosophy. It is not primarily Wittgenstein-exegesis. Much more modestly, my purpose is to express my own thoughts about some questions which Wittgenstein has treated in his writings. It is the first in a series of two articles. The second article, “Remarks on Wittgenstein’s Philosophy: Philosophical Method and Contradictions”, will occur in next year’s issue of the present YEARBOOK. Section 1, “The Private Language Argument”. An independent argument is given (...) for Wittgenstein’s thesis that there is no private language. I show that psychological terms in ordinary language, in contrast to an implication of Wittgenstein’s own private language argument, in their meanings do contain references to inner states, processes, or events. Section 2, “Meaning”. Wittgenstein’s definition of meaning as use in the language is criticised. Meaning is instead identified with something in the content of a conscious mind. Applications are given to some suggestions in philosophy of language by Chomsky, Grice, Harman and Fodor, and Kripke. For orientation, I also include here the abstract for the second article, “Remarks on Wittgenstein’s Philosophy: Philosophical Method and Contradictions”. Section 1, “Philosophical Method”. Wittgenstein’s conception of philosophy as language therapy is criticised. Instead philosophy is construed as foundational research. Wittgenstein’s statement that mathematical logic cannot contribute to progress in philosophy is repudiated. Several examples of ideas and results in mathematical logic which have led to the solution of philosophical problems are given. Section 2, “Contradictions: The Wittgenstein-Turing Debate”. In lectures on the foundations of mathematics given in 1939, Wittgenstein claimed that contradictions in mathematical theories are harmless. A debate ensued on this question between him and Alan Turing. In support of Turing’s standpoint, I use the theorem on Taylor series, Church’s Theorem, and Gentzen’s Cut-Elimination Theorem to show that Wittgenstein’s standpoint is untenable. (shrink)

Eight derivations of Bell’s inequality are given. First a simple and concrete derivation is given drawing on the full strength of the two hypotheses of locality and hidden variables. Two attempts at deriving Bell’s inequality without locality are made. They fail, but give valuable insight into the form which nonlocality must take in quantum physics. Arguments are given against this form of nonlocality. Ontological ideas which allow separation, realism, and locality in quantum mechanics are indicated. In the following five derivations, (...) a number of variants of the assumption of hidden variables are tried. Among the insights which these derivations give rise to are: Particles cannot be assumed to have spin or polarisation values for as much as one fixed direction. The classical picture of electromagnetic radiation is incompatible with QM. Heisenberg’s idea of potentiality in elementary particles is incompatible with QM. There is a weakest form of hidden variables, called realisability, which is sufficient to yield Bell’s inequality. Quantum states cannot be identified with physical states. The mathematical problem of the integration of quantum states into physical states is nontrivial. (shrink)

While in many countries the use of unmanned systems is still in its infancy, other countries, most notably the US and Israel, are much ahead. Most of the systems in operation today are unarmed and are mainly used for reconnaissance and clearing improvised explosive devices. But over the last years the deployment of armed military robots is also on the increase, especially in the air. This might make unethical behavior less likely to happen, seeing that unmanned systems are immune to (...) what are considered to be main causes of misconduct on the battlefield: frustration, boredom, and anger. The use of robots raises some ethical questions, though, and this paper attempts to give an overview of issues at stake, such as the role of emotions, civilian casualties, just war theory, and responsibility. (shrink)

When many people are involved in an activity, it is often difficult, if not impossible, to pinpoint who is morally responsible for what, a phenomenon known as the ‘problem of many hands.’ This term is increasingly used to describe problems with attributing individual responsibility in collective settings in such diverse areas as public administration, corporate management, law and regulation, technological development and innovation, healthcare, and finance. This volume provides an in-depth philosophical analysis of this problem, examining the notion of moral (...) responsibility and distinguishing between different normative meanings of responsibility, both backward-looking and forward-looking. Drawing on the relevant philosophical literature, the authors develop a coherent conceptualization of the problem of many hands, taking into account the relationship, and possible tension, between individual and collective responsibility. This systematic inquiry into the problem of many hands pertains to discussions about moral responsibility in a variety of applied settings. (shrink)

Purpose This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. -/- Design/methodology/approach This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant future; catastrophe (...) trajectories, in which one or more events cause significant harm to human civilization; technological transformation trajectories, in which radical technological breakthroughs put human civilization on a fundamentally different course; and astronomical trajectories, in which human civilization expands beyond its home planet and into the accessible portions of the cosmos. -/- Findings Status quo trajectories appear unlikely to persist into the distant future, especially in light of long-term astronomical processes. Several catastrophe, technological transformation and astronomical trajectories appear possible. -/- Originality/value Some current actions may be able to affect the long-term trajectory. Whether these actions should be pursued depends on a mix of empirical and ethical factors. For some ethical frameworks, these actions may be especially important to pursue. (shrink)

In some situations in which undesirable collective effects occur, it is very hard, if not impossible, to hold any individual reasonably responsible. Such a situation may be referred to as the problem of many hands. In this paper we investigate how the problem of many hands can best be understood and why, and when, it exactly constitutes a problem. After analyzing climate change as an example, we propose to define the problem of many hands as the occurrence of a gap (...) in the distribution of responsibility that may be considered morally problematic. Whether a gap is morally problematic, we suggest, depends on the reasons why responsibility is distributed. This, in turn, depends, at least in part, on the sense of responsibility employed, a main distinction being that between backward-looking and forward-looking responsibility. (shrink)

A Greek English Lexicon of the New Testament, being Grimm's Wilke's Clavis Novi Testamenti. Translated, Revised and Enlarged by Joseph Henry Thayer, D.D., Bussey Professor of New Testament Criticism and Interpretation in the Divinity School of Harvard University. Edinburgh, T. and T. Clark. 1886. 4to. pp. 726. 36s.Biblico Theological Lexicon to New Testament Greek. by Hermann Cremer, D.D., Professor of Theology in the University of Greifswald. Third English Edition. With Supplement. Translated from the latest German Edition by William Uewick, M.A. (...) Edinburgh, T. and T. Clark. 1886. 4to. pp. 943. 38s. (shrink)

Virtue accounts of innovation ethics have recognized the virtue of creativity as an admirable trait in innovators. However, such accounts have not paid sufficient attention to the way creativity functions as a collective phenomenon. We propose a collective virtue account to supplement existing virtue accounts. We base our account on Kieran’s definition of creativity as a virtue and distinguish three components in it: creative output, mastery and intrinsic motivation. We argue that all of these components can meaningfully be attributed to (...) innovation groups. This means that we can also attribute the virtue of creativity to group agents involved in innovation. Recognizing creativity as a collective virtue in innovation is important because it allows for a more accurate evaluation of how successful innovation generally happens. The innovator who takes a collective virtue account of creativity seriously will give attention to the facilitation of an environment where the group can flourish collectively, rather than only nurturing the individual genius. (shrink)

Abstract I argue that the two primary motivations in the literature for positing seemings as sui generis mental states are insufficient to motivate this view. Because of this, epistemological views which attempt to put seemings to work don’t go far enough. It would be better to do the same work by appealing to what makes seeming talk true rather than simply appealing to seeming talk. Content Type Journal Article Pages 1-12 DOI 10.1007/s11406-012-9363-8 Authors T. Ryan Byerly, Department of Philosophy, Baylor (...) University, Waco, TX, USA Journal Philosophia Online ISSN 1574-9274 Print ISSN 0048-3893. (shrink)

T. A. Cavanaugh defends double-effect reasoning (DER), also known as the principle of double effect. DER plays a role in anti-consequentialist ethics (such as deontology), in hard cases in which one cannot realize a good without also causing a foreseen, but not intended, bad effect (for example, killing non-combatants when bombing a military target). This study is the first book-length account of the history and issues surrounding this controversial approach to hard cases. It will be indispensable in theoretical ethics, applied (...) ethics (especially medical and military), and moral theology. It will also interest legal and public policy scholars. (shrink)

Cosmological arguments for the existence of God face a gap problem. This is the problem of convincingly arguing that their intermediate conclusions that some first cause or necessary being exists provide evidence for their main conclusion that God exists. This paper develops a simple and innovative approach to solving this problem, applicable to many cosmological arguments. According to the proposal, the best explanation for why the necessary being is found to have necessary existence is that it is a perfect being. (...) Since a perfect being would be God, the intermediate conclusions of the relevant cosmological arguments provide abductive evidence for their main conclusions. (shrink)